DAL LAGO, UGO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Context semantics, linear logic, and computational complexity

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 864 KB

english, 2009

2

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The Geometry of Bayesian Programming

Lago, Ugo Dal, Hoshino, Naohiko

Year:

2019

Language:

english

File:

PDF, 411 KB

english, 2019

3

Compact and tractable automaton-based representations of time granularities

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 788 KB

english, 2007

4

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Beta reduction is invariant, indeed

Accattoli, Beniamino, Dal Lago, Ugo

Year:

2014

Language:

english

File:

PDF, 348 KB

english, 2014

5

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 10803 ||

Baier, Christel, Dal Lago, Ugo

Year:

2018

Language:

english

File:

PDF, 16.99 MB

english, 2018

6

Confluence Results for a Quantum Lambda Calculus with Measurements

Ugo Dal Lago, Andrea Masini, Margherita Zorzi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 250 KB

english, 2011

7

The weak lambda calculus as a reasonable machine

Ugo Dal Lago, Simone Martini

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 440 KB

english, 2008

8

Quantum implicit computational complexity

Ugo Dal Lago, Andrea Masini, Margherita Zorzi

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.52 MB

english, 2010

9

Realizability models and implicit complexity

Ugo Dal Lago, Martin Hofmann

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 332 KB

english, 2011

10

A Semantic Proof of Polytime Soundness of

Ugo Dal Lago, Martin Hofmann

Journal:

Theory of Computing Systems

Year:

2010

Language:

english

File:

PDF, 478 KB

english, 2010

11

Phase semantics and decidability of elementary affine logic

Ugo Dal Lago, Simone Martini

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 313 KB

english, 2004

12

Light logics and optimal reduction: Completeness and complexity

Patrick Baillot, Paolo Coppola, Ugo Dal Lago

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 899 KB

english, 2011

13

Linear dependent types in a call-by-value scenario

Dal Lago, Ugo, Petit, Barbara

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 560 KB

english, 2014

14

[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - The Geometry of Linear Higher-Order Recursion

Year:

2005

Language:

english

File:

PDF, 300 KB

english, 2005

15

[IEEE 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Seattle, WA, USA (12-15 Aug. 2006)] 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Context Semantics, Linear Logic and Computational Complexity

Year:

2006

Language:

english

File:

PDF, 224 KB

english, 2006

16

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Light Logics and Optimal Reduction: Completeness and Complexity

Baillot, Patrick, Coppola, Paolo, Lago, Ugo Dal

Year:

2007

Language:

english

File:

PDF, 226 KB

english, 2007

17

[IEEE 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - Alicante, Spain (2007.06.28-2007.06.30)] 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - On the Equivalence of Automaton-Based Representations of Time Granularities

Lago, Ugo Dal, Montanari, Angelo, Puppis, Gabriele

Year:

2007

Language:

english

File:

PDF, 230 KB

english, 2007

18

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Linear Dependent Types and Relative Completeness

Dal Lago, Ugo, Gaboardi, Marco

Year:

2011

Language:

english

File:

PDF, 469 KB

english, 2011

19

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - The geometry of synchronization

Dal Lago, Ugo, Faggian, Claudia, Hasuo, Ichiro, Yoshimizu, Akira

Year:

2014

Language:

english

File:

PDF, 687 KB

english, 2014

20

On quasi-interpretations, blind abstractions and implicit complexity

BAILLOT, PATRICK, DAL LAGO, UGO, MOYEN, JEAN-YVES

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

21

On a measurement-free quantum lambda calculus with classical control

LAGO, UGO DAL, MASINI, ANDREA, ZORZI, MARGHERITA

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 466 KB

english, 2009

22

On light logics, uniform encodings and polynomial time

LAGO, UGO DAL, BAILLOT, PATRICK

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 350 KB

english, 2006

23

A higher-order characterization of probabilistic polynomial time

Dal Lago, Ugo, Parisen Toldin, Paolo

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 881 KB

english, 2015

24

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - On coinductive equivalences for higher-order probabilistic functional programs

Dal Lago, Ugo, Sangiorgi, Davide, Alberti, Michele

Year:

2014

Language:

english

File:

PDF, 733 KB

english, 2014

25

The geometry of linear higher-order recursion

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 621 KB

english, 2009

26

[ACM Press the 14th symposium - Leuven, Belgium (2012.09.19-2012.09.21)] Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 - Linear dependent types in a call-by-value scenario

Dal lago, Ugo, Petit, Barbara

Year:

2012

Language:

english

File:

PDF, 690 KB

english, 2012

27

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - The geometry of types

Dal lago, Ugo, Petit, Barbara

Year:

2013

Language:

english

File:

PDF, 738 KB

english, 2013

28

Developments in Implicit Complexity (DICE 2012)

Dal Lago, Ugo, Bonfante, Guillaume

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 136 KB

english, 2015

29

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Metric reasoning about λ-terms: The affine case

Crubille, Raphaelle, Dal Lago, Ugo

Year:

2015

Language:

english

File:

PDF, 323 KB

english, 2015

30

Higher-order interpretations and program complexity

Baillot, Patrick, Dal Lago, Ugo

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.20 MB

english, 2016

31

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Parallelism and Synchronization in an Infinitary Context

Lago, Ugo Dal, Faggian, Claudia, Valiron, Benoit, Yoshimizu, Akira

Year:

2015

Language:

english

File:

PDF, 448 KB

english, 2015

32

Computation by interaction for space-bounded functional programming

Dal Lago, Ugo, Schöpp, Ulrich

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 2.23 MB

english, 2016

33

[Lecture Notes in Computer Science] Foundational and Practical Aspects of Resource Analysis Volume 9964 ||

van Eekelen, Marko, Dal Lago, Ugo

Year:

2016

Language:

english

File:

PDF, 3.94 MB

english, 2016

34

Probabilistic operational semantics for the lambda calculus

Lago, Ugo Dal, Zorzi, Margherita

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2012

Language:

english

File:

PDF, 424 KB

english, 2012

35

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - The geometry of parallelism: classical, probabilistic, and quantum effects

Dal Lago, Ugo, Faggian, Claudia, Valiron, Benoît, Yoshimizu, Akira

Year:

2017

Language:

english

File:

PDF, 415 KB

english, 2017

36

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Infinitary Lambda Calculi from a Linear Perspective

Year:

2016

Language:

english

File:

PDF, 361 KB

english, 2016

37

Light logics and higher-order processes

DAL LAGO, UGO, MARTINI, SIMONE, SANGIORGI, DAVIDE

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 610 KB

english, 2016

38

On session types and polynomial time

DAL LAGO, UGO, DI GIAMBERARDINO, PAOLO

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 244 KB

english, 2016

39

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 10803 || Logics for Bisimulation and Divergence

Baier, Christel, Dal Lago, Ugo

Year:

2018

Language:

english

File:

PDF, 541 KB

english, 2018

40

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens

Lago, Ugo Dal, Tanaka, Ryo, Yoshimizu, Akira

Year:

2017

Language:

english

File:

PDF, 358 KB

english, 2017

41

The geometry of types

Dal lago, Ugo, Petit, Barbara

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 738 KB

english, 2013

42

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Effectful applicative bisimilarity: Monads, relators, and Howe's method

Lago, Ugo Dal, Gavazzo, Francesco, Levy, Paul Blain

Year:

2017

Language:

english

File:

PDF, 424 KB

english, 2017

43

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 10803 || From Symmetric Pattern-Matching to Quantum Control

Baier, Christel, Dal Lago, Ugo

Year:

2018

Language:

english

File:

PDF, 612 KB

english, 2018

44

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 10803 || A New Linear Logic for Deadlock-Free Session-Typed Processes

Baier, Christel, Dal Lago, Ugo

Year:

2018

Language:

english

File:

PDF, 674 KB

english, 2018

45

On sharing, memoization, and polynomial time

Avanzini, Martin, Dal Lago, Ugo

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 815 KB

english, 2018

46

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - On Intersection Types and Probabilistic Lambda Calculi

Breuvart, Flavien, Lago, Ugo Dal

Year:

2018

Language:

english

File:

PDF, 857 KB

english, 2018

47

Probabilistic Termination by Monadic Affine Sized Typing

Lago, Ugo Dal, Grellois, Charles

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2019

Language:

english

File:

PDF, 1.23 MB

english, 2019

48

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs

Baillot, Patrick, Barthe, Gilles, Dal Lago, Ugo

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 2.00 MB

english, 2019

49

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Type-Based Complexity Analysis of Probabilistic Functional Programs

Avanzini, Martin, Dal Lago, Ugo, Ghyselen, Alexis

Year:

2019

Language:

english

File:

PDF, 53 KB

english, 2019

50

Automating sized-type inference for complexity analysis

Avanzini, Martin, Dal Lago, Ugo

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 398 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски